 @import url(../colorizer/colorizer.css);
 @import url(../widgets/tree.css);
 @font-face {
     font-family: exo2;
     src: url("../fonts/exo2regular.ttf");
 }
 
 html {
     background: transparent;
     /*width: 1000dip;
    height: 600dip;*/
     size: *;
     font-family: exo2;
     font-size: 14pt;
     font-rendering-mode: sub-pixel;
     color: #cccccc;
 }
 
 body {
     background: #171717;
     margin: 0;
     /*size: 300dip;*/
     size: *;
     flow: vertical;
     overflow: hidden;
     transform: scale(0.1);
 }
 
 body.shown {
     transform: scale(1);
     transition: transform(linear, 200ms);
 }
 
 body.hidden {
     transform: scale(0.1);
     transition: transform(linear, 600ms);
 }
 
 #resizeable {
     position: fixed;
     right: 0;
     bottom: 0;
     size: 20dip;
     /*background-color: red;*/
     vertical-align: bottom;
     text-align: right;
 }
 
 #resizeable > a {
     display: inline-block;
     width: max-intrinsic;
     height: *;
     font-family: "Marlett";
     font-size: 10pt;
     padding: 0;
     margin: 0;
     cursor: se-resize;
     font-rendering-mode: sub-pixel;
     color: white;
 }
 
 #main {
     flow: horizontal;
     size: *;
 }
 
 #doc {
     size: *;
     overflow: hidden;
     /*background-color: red;*/
 }
 
 #doc .panel {
     size: *;
     /*border: 1px red solid;*/
     padding: 0;
     display: none;
     overflow: hidden;
 }
 
 #doc .panel:expanded {
     display: block;
 }
 
 #lside {
     size: *;
     flow: vertical;
 }
 
 #switch {
     width: *;
     height: 30dip;
     color: white;
     vertical-align: middle;
     text-align: center;
     border: 1dip white solid;
     border-radius: 6dip;
     margin: 5dip;
 }
 
 #openpath:hover,
 #switch:hover {
     background-color: white;
     color: black;
     transition: color(linear, 200ms);
     transition: background-color(linear, 200ms);
 }
 
 frame#content {
     size: *;
 }
 
 plaintext#editor {
     overflow: scroll-indicator !important;
 }
 
 splitter {
     width: 1px;
     hit-margin: 5dip;
     background: transparent;
 }
